Modeling and Language Extensions
نویسندگان
چکیده
منابع مشابه
Modeling and Language Extensions
Answer Set Programming (ASP) has emerged as an approach to declarative problem solving based on the stable model semantics for logic programs. The basic idea is to represent a computational problem by a logic program, formulating constraints in terms of rules, such that its answer sets correspond to problem solutions. To this end, ASP combines an expressive language for high-level modeling with...
متن کاملModeling Interface Definition Language Extensions
Interface definition languages serve to specify module and interface names, as well as opemtion signatures. However, IDLs lack means to express aspects, such as synchronization constraints, preand post conditions, invariants, quality of service annotations, and real-time annotations. We develop a framework to specify the interface definition language and a given IDL extension in a combined mode...
متن کاملSpatiotemporal Extensions to Unified Modeling Language
Geographic Information Systems (GIS) and other multimedia applications such as video databases have motivated recent interest in spatiotemporal data modeling. This paper presents a graphical extension to the Unified Modeling Language (UML) which is designed to support requirements analysis and specification for applications having different underlying space/time models and semantics. The term s...
متن کاملOpenMath Language Extensions
We propose a language extension mechanism for OpenMath that will allow us to introduce new language features (as have been called for by the community) while keeping the underlying core language intact so that we can maintain compatibility with MathML3 and the upcoming ISO standard. We exhibit the mechanism on the example of extending OpenMath with sequences and discuss other language extensions.
متن کاملModeling Language extensions for modeling user - oriented , multi - channel access CRM systems
In the advances of Internet technologies in recent years, Electronic Commerce CRM systems have gained much attention as a major theme for companies to maintain their competitiveness. The research shows that the effective customer relationship management is the major source for customer retention and gaining over new ones. On the other hand, modern technology allows to receive information throug...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AI Magazine
سال: 2016
ISSN: 2371-9621,0738-4602
DOI: 10.1609/aimag.v37i3.2673